Model-driven engineering city spaces via bidirectional model transformations

Information Preserving Bidirectional Model Transformations

Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such as analysis, optimization, and code generation. Most of these transformations need to be bidirectional to e.g. report analysis results, or keep coherence between models. In several application-oriented papers it has been shown...

Bidirectional Model Transformations With FunnyQT

FunnyQT is a model querying and transformation library. Instead of inventing a new syntax and semantics from scratch, it is designed as an extensible API and embedded DSL in the functional, JVM-based Lisp dialect Clojure. FunnyQT defines several sub-APIs, each offering constructs for a particular querying or transformation use-case. In this paper, the funnyqt.bidi API is discussed which allows ...

Aspects and Transformations to Support Evolution in Model-Driven Engineering

A key benefit of system and software modeling is the ability to explore various design alternatives to reach a fixedpoint representation of a concrete system design. Among a diverse set of configuration possibilities, a model engineer must be able to explore the effects of a design decision (e.g., the effect of a specific communication protocol on systemic properties such as throughput) in a ra...

Ontology-Driven Software Engineering: beyond Model Checking and Transformations

Towards Rigorously Faking Bidirectional Model Transformations

Bidirectional model transformations (bx) are mechanisms for automatically restoring consistency between multiple concurrently modified models. They are, however, challenging to implement; many model transformation languages not supporting them at all. In this paper, we propose an approach for automatically obtaining the consistency guarantees of bx without the complexities of a bx language. Fir...